1978年，我报考了中国科学院研究生院。我是学数学出身的，我在研究生院上的第一堂课，就是吴文俊院士的＂几何定理的机器证明＂。他的第一节课的第一段话是这么说的：

“以《九章算术》为代表的中国传统数学思想方法，同以《几何原本》为代表的古希腊数学思想方法异其旨趣，各有千秋，在世界数学发展的历史长河中，此消彼长，巨为取代，一度西方数学占了上风，以致于今天还有人一提到数学，言必称希腊，欧几里得，阿基米德；言必称西欧，牛顿，莱不尼兹，但是，在电子计算机出现后的今天，计算机的原理同中国传统数学思想方法若合符节。因此我认为，在未来，以《九章算术》为代表的算法化、程序化、机械化的数学思想方法体系，凌驾于以《几何原本》为代表的公理化、逻辑化、演绎化的数学思想方法之上，不仅不无可能，甚至于说成是殆成定局，本人也认为并非过甚之辞！”

吴文俊院士的这段话，字字珠玑，掷地有声，振聋发聩，令人深省。我至今仍印象深刻。我的博士生导师严敦杰教授也写过这样的诗句：“若把《原本》比《算术》，其中翘楚是《九章》。”数学家与数学史家的观点可谓不谋而合。

吴文俊院士讲到的中国传统的数学思想方法，是机械化的。所以，他后来就创立了机械化数学。他把刘徽注《九章算术》中的割圆术，用计算机语言翻译过来，形成了一个程序计算圆周率的精确值，他先把初等几何定理的证明机械化，又推广到初等微分几何中的一些主要定理的证明也可以机械化，然后他又把机器定理证明的范围推广到非欧几何、仿射几何、圆几何、线几何、球几何等领域。

继机器定理证明之后，吴文俊把研究重点转移到数学机械化的核心问题——方程求解上来，得出了作为机械化数学基础的整序原理及零点结构原理，它不仅可用于代数方程组，还可以解代数偏微分方程组，从而大大扩充了理论及应用的范围。国际上公认的“吴方法”不仅在机器定理证明、代数系统求解的理论和算法上，而且在物理学、化学、计算机科学、数学科学和机器人机构学等方面的应用上都取得了国际领先成果。那个时候他已经六七十岁了，直至髦耄之年，老骥伏枥，壮心不已。

吴文俊创立的数学机械化方法，就是用计算机代替了人脑，所以他获得国际的人工智能的最高奖（Herbrand自动推理杰出成就奖），也拿到了我们国家的最高科学技术奖。

吴文俊是从对中国传统数学的机械化特征进行深入分析后得出数学机械化的思想和方法的。他的目标是在数学的各个领域全面推行机械化。这一宏伟纲领是继承中国传统文化精华和实现中华民族伟大复兴在数学领域的正确途径。

吴文俊是个老顽童，他白发童颜，胖乎乎、笑眯眯的，十分慈祥。1980年的首届全国数学史会议，他提出了中国传统数学“出入相补”原理的证明方法，会后，60多岁了，他还同我们与会者一起去过天池，一路讨论数学史问题。他背一个背包，像笑罗汉一样。2002年，国际数学大会期间，我还请他到中国科技馆来做数学学术报告。我说您80多岁了，身体真好。他说他还在香港迪士尼，坐过山车呢。吴文俊兴趣爱好广泛，还要去听京剧，而且我还在音乐厅碰上过他和他的夫人，所以我觉得一个科学家他是有血有肉的、有事业的，也有生活的，那么这样的一位老科学家，永远年轻，永不老，就像是苏步青给他的一副寿联，叫作“名闻东西南北国，寿比珠穆朗玛峰”，他活了98岁，哲人其萎，风范长存，他永远活在我们心里。文/王渝生